Proceedings of the 26th ACM Symposium on Principles of Programming Languages (POPL ’99), San Antonio, Texas, USA, JanuaryJFlow: Practical Mostly-Static Information Flow Control Andrew C. Myers Laboratory for Com

Source URL: www.cs.cornell.edu

IMPECS-POPL Workshop on Emerging Research & Development Trends in Programming Languages (WEPL) co-located with 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPLThe goal of WEPL 2015 (

Source URL: events.csa.iisc.ernet.in

Norman Ramsey Associate Professor Department of Computer Science Tufts University Medford, MassachusettsEmail: Phone: +

Source URL: www.cs.tufts.edu

• Computer science
• Software engineering
• Computing
• Functional programming
• International Conference on Functional Programming
• Programming Language Design and Implementation
• Symposium on Principles of Programming Languages
• SIGPLAN
• ECL programming language
• Association for Computing Machinery
• Programming language theory

Interpretations of the Gradually-Typed Lambda Calculus (Distilled Tutorial) Jeremy G. Siek University of Colorado at Boulder

Source URL: users-cs.au.dk

• Theoretical computer science
• Symposium on Principles of Programming Languages
• SIGPLAN
• ACM SIGACT
• Gradual typing
• Lambda calculus

Hongjin Liang Address: Suzhou Institute for Advanced Study Univ. of Science and Technology of China

Source URL: staff.ustc.edu.cn

• Symposium on Principles of Programming Languages
• Programming Language Design and Implementation
• ACM SIGACT
• ACM Transactions on Programming Languages and Systems
• Symposium on Logic in Computer Science
• SIGPLAN

Verified squared: does critical software deserve verified tools? Xavier Leroy INRIA Paris-Rocquencourt POPL 2011

Source URL: pauillac.inria.fr

• Software quality
• Design for X
• Symposium on Principles of Programming Languages
• Reliability engineering
• Computer security
• Software
• Fly-by-wire

SIGACCESS FY’14 Annual Report July 2013 – June 2014 Submitted by: Andrew Sears SIGACCESS continues to refine its activities to meet member needs. This report highlights SIGACCESS Awards as well as the SIG’s confere

Source URL: www.acm.org

• Theoretical computer science
• Edsger W. Dijkstra
• ACM SIGACT
• Association for Computing Machinery
• Symposium on Theory of Computing
• Symposium on Parallelism in Algorithms and Architectures
• Symposium on Principles of Distributed Computing
• Symposium on Computational Geometry
• ACM-W
• International Colloquium on Automata
• Languages and Programming
• Gdel Prize
• Symposium on Foundations of Computer Science

Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio

Source URL: cliplab.org

• International Conference on Logic Programming
• Symposium on Principles of Programming Languages
• ICLP
• Association for Computing Machinery
• Logic programming
• Logic
• Prolog

Reprinted from Proceedings of the 2010 ACM Symposium on Principles of Programming Languages (POPL’10) Automatically Generating Instruction Selectors Using Declarative Machine Descriptions Jo˜ao Dias

Source URL: www.cs.tufts.edu

• Hoare logic
• Static program analysis
• Predicate transformer semantics

Organizers    

Source URL: www.eurorvvv.org

• Symposium on Principles of Programming Languages
• Symposium on Principles and Practice of Parallel Programming
• SIGPLAN
• SIGMOD
• Programming Language Design and Implementation
• ACM SIGACT